• A Closeness- and Priority-Based Logical Study of Social Network Creation 

      Smets, Sonja; Velázquez-Quesada, Fernando R. (Journal article; Peer reviewed, 2020)
      This paper is part of an on-going programme on the study of the logical aspects of social network formation. It recalls the so-called social network model, discussing the properties of a notion of closeness between agents ...
    • Detecting bots with temporal logic 

      Pedersen, Mina Young; Slavkovik, Marija; Smets, Sonja (Journal article; Peer reviewed, 2023)
      Social bots are computer programs that act like human users on social media platforms. Social bot detection is a rapidly growing field dominated by machine learning approaches. In this paper, we propose a complementary ...
    • The Logic of Fast and Slow Thinking 

      Solaki, Anthia; Berto, Francesco; Smets, Sonja (Peer reviewed; Journal article, 2019-06-01)
      We present a framework for epistemic logic, modeling the logical aspects of System 1 (“fast”) and System 2 (“slow”) cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds ...
    • Logic of Justified Beliefs Based on Argumentation 

      Shi, Chenwei; Smets, Sonja; Velázquez-Quesada, Fernando R. (Journal article; Peer reviewed, 2021)
      This manuscript presents a topological argumentation framework for modelling notions of evidence-based (i.e., justified) belief. Our framework relies on so-called topological evidence models to represent the pieces of ...
    • Modal Logics and Group Polarization 

      Pedersen, Mina Young; Smets, Sonja; Ågotnes, Thomas (Journal article; Peer reviewed, 2021)
      This paper proposes different ways of modally defining properties related to the concept of balance in signed social networks where relations can be either positive or negative. The motivation is to be able to formally ...
    • Tracking probabilistic truths: a logic for statistical learning 

      Baltag, Alexandru; Rad, Soroush Rafiee; Smets, Sonja (Journal article; Peer reviewed, 2021)
      We propose a new model for forming and revising beliefs about unknown probabilities. To go beyond what is known with certainty and represent the agent’s beliefs about probability, we consider a plausibility map, associating ...